翻訳と辞書 Words near each other ・ ina jo ・ inarp ・ inc ・ incantation ・ include ・ include war ・ inclusive ・ incomparable ・ incremental analysis ・ incremental backup ・ incremental constraint solver ・ incremental prototyping technology for embedded realtime systems ・ indent style ・ independent logical file ・ independent verification and validation ・ index ・ index data ・ index register ・ indexed sequential access method ・ indices Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク incremental constraint solver ： FOLDOC incremental constraint solver A system in which a {constraint solver} is given constraints one at a time by an inference engine (as is found in Prolog). The solver adds the new constraint to an initially empty set of solved constraints. If the new constraint is consistent with the solved constraints it will be added to the set. If it was inconsistent, the inference engine {backtracks}. This is the basis of Constraint Logic Programming. (1994-11-01) スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.